accept binary number divisible by 3 DFA